A notion of effectiveness for subshifts on finitely generated groups
نویسندگان
چکیده
We define a notion of effectiveness for subshifts on finitely generated groups. The set of effective subshifts forms a conjugacy class that contains the class of sofic subshifts. We prove that the inclusion is strict for several groups, including amenable groups and groups with more than two ends.
منابع مشابه
Enumeration in algebra
We show how the concept of enumeration reducibility from computability theory may be applied to obtain computability conditions on descriptions of substructures of algebras, more prominently on the language of forbidden words of a subshift, and on the word problem for finitely generated groups. Many of the results here are already known for recursively presented groups and effectively closed su...
متن کاملTopological Full Groups of Minimal Subshifts and the Classification Problem for Finitely Generated Complete Groups
Using results on the structure of the topological full groups of minimal subshifts, we prove that the isomorphism relation on the space of finitely generated complete groups is not smooth.
متن کاملTopological Full Groups of Minimal Subshifts and Just-infinite Groups
In [24], confirming a conjecture of Hjorth-Kechris [16], Thomas-Velickovic proved that the isomorphism relation on the space Gfg of finitely generated groups is a universal countable Borel equivalence relation. (Here Gfg denotes the Polish space of finitely generated groups introduced by Grigorchuk [12]; i.e. the elements of Gfg are the isomorphism types of marked groups (G, c ), where G is a f...
متن کاملRealization of aperiodic subshifts and densities in groups
A Theorem of Gao, Jackson and Seward, originally conjectured to be false by Glasner and Uspenskij, asserts that every countable group admits a 2-coloring. A direct consequence of this result is that every countable group has a strongly aperiodic subshift on the alphabet {0, 1}. In this article, we use Lovász local lemma to first give a new simple proof of this result, and second to prove the ex...
متن کاملJust-infinite Groups and Topological Full Groups of Minimal Subshifts
There does not exist an isomorphism-invariant Borel map which selects a just-infinite quotient of each infinite finitely generated group.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 661 شماره
صفحات -
تاریخ انتشار 2017